s, t:DSet. (s  t)  DSet 

latex

Up	sets 1
Definitions of Statement	DSet, s  t
Definitions	s  t, t  T, x:A. B(x), x f y, IsEqFun(T;eq), P  Q, DSet
Lemmas	dset wf, eq pair wf, set car wf, mk dset wf, assert of eq pair